Harald Fecher: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The vulnerability of hydropower production in the Zambezi River Basin to the impacts of climate change and irrigation development

Spalding-Fecher, Randall, Chapman, Arthur, Yamba, Francis, Walimwipi, Hartley, Kling, Harald, Tembo, Bernard, Nyambe, Imasiku, Cuamba, Boaventura

Journal:

Mitigation and Adaptation Strategies for Global Change

Year:

2016

Language:

english

File:

PDF, 915 KB

english, 2016

2

Cost-benefit analysis of energy efficiency in urban low-cost housing

Winkler, Harald, Spalding-Fecher, Randall, Tyani, Lwazikazi, Matibe, Khorommbi

Journal:

Development Southern Africa

Year:

2002

Language:

english

File:

PDF, 245 KB

english, 2002

3

Bundle event structures: A revised cpo approach

Harald Fecher, Mila Majster-Cederbaum, Jinzhao Wu

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 95 KB

english, 2002

4

Formalizing UML Models and OCL Constraints in PVS

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 242 KB

english, 2005

5

Compositional Operational Semantics of a UML-Kernel-Model Language

Harald Fecher, Marcel Kyas, Willem-Paul de Roever, Frank S. de Boer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 331 KB

english, 2006

6

Event Structures for Interrupt Process Algebras

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 282 KB

english, 2004

7

Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems

Harald Fecher, Heiko Schmidt

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 360 KB

english, 2007

8

Refinement Sensitive Formal Semantics of State Machines With Persistent Choice

Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 538 KB

english, 2009

9

A completed hierarchy of true concurrent equivalences

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 167 KB

english, 2004

10

PCTL model checking of Markov chains: Truth and falsity as winning strategies in games

Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner

Journal:

Performance Evaluation

Year:

2010

Language:

english

File:

PDF, 1.02 MB

english, 2010

11

Multiproject baselines for evaluation of electric power projects

Jayant Sathaye, Scott Murtishaw, Lynn Price, Maurice Lefranc, Joyashree Roy, Harald Winkler, Randall Spalding-Fecher

Journal:

Year:

2004

Language:

english

File:

PDF, 387 KB

english, 2004

12

Energy and the World Summit on Sustainable Development: what next?

Randall Spalding-Fecher, Harald Winkler, Stanford Mwakasonda

Journal:

Year:

2005

Language:

english

File:

PDF, 288 KB

english, 2005

13

Taking Decisions Late: End-Based Choice Combined with Action Refinement

Harald Fecher, Mila Majster-Cederbaum

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 459 KB

english, 2002

14

Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model

Harald Fecher, Mila Majster-Cederbaum, Jinzhao Wu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

File:

PDF, 1.23 MB

2002

15

Symmetric structure in logic programming

Jin-Zhao Wu, Harald Fecher

Journal:

Journal of Computer Science and Technology

Year:

2004

Language:

english

File:

PDF, 775 KB

english, 2004

16

Local abstraction–refinement for the

Harald Fecher, Sharon Shoham

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 526 KB

english, 2011

17

Characteristic μ-Calculus Formulas for Underspecified Transition Systems

Harald Fecher, Martin Steffen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 304 KB

english, 2005

18

Truly Concurrent Logic via In-Between Specification

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 295 KB

english, 2005

19

C3-Chiral Tripodal Amido Complexes

Lutz H. Gade, Patrick Renner, Harald Memmler, Frank Fecher, Christian H. Galka, Matthias Laubender, Sanja Radojevic, Mary McPartlin, Joseph W. Lauher

Journal:

Chemistry - A European Journal

Year:

2001

Language:

english

File:

PDF, 389 KB

english, 2001

20

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Hintikka Games for PCTL on Labeled Markov Chains

Fecher, Harald, Huth, Michael, Piterman, Nir, Wagner, Daniel

Year:

2008

Language:

english

File:

PDF, 300 KB

english, 2008

21

Comparing developing countries under potential carbon allocation schemes

Winkler, Harald, Spalding-Fecher, Randall, Tyani, Lwazikazi

Journal:

Year:

2002

Language:

english

File:

PDF, 275 KB

english, 2002

22

Climate change and hydropower in the Southern African Power Pool and Zambezi River Basin: System-wide impacts and policy implications

Spalding-Fecher, Randall, Joyce, Brian, Winkler, Harald

Journal:

Year:

2017

Language:

english

File:

PDF, 1.34 MB

english, 2017